/*
 #
 #  Files       : StaticAssert.h
 #                ( C++ header file )
 #
 #  Description : The SmallMatrix Library
 #                ( http://code.google.com/p/smallmatrix )
 #
 #  Copyright   : Olivier Juan
 #                ( http://www.mas.ecp.fr/vision/Personnel/juan/ )
 #
 #  License     : CeCILL-C
 #                ( http://www.cecill.info/licences/Licence_CeCILL-C_V1-en.html )
 #
 #  This software is governed by the CeCILL-C license under French law and
 #  abiding by the rules of distribution of free software.  You can  use,
 #  modify and or redistribute the software under the terms of the CeCILL-C
 #  license as circulated by CEA, CNRS and INRIA at the following URL
 #  "http://www.cecill.info".
 #
 #  As a counterpart to the access to the source code and  rights to copy,
 #  modify and redistribute granted by the license, users are provided only
 #  with a limited warranty  and the software's author,  the holder of the
 #  economic rights,  and the successive licensors  have only  limited
 #  liability.
 #
 #  In this respect, the user's attention is drawn to the risks associated
 #  with loading,  using,  modifying and/or developing or reproducing the
 #  software by the user in light of its specific status of free software,
 #  that may mean  that it is complicated to manipulate,  and  that  also
 #  therefore means  that it is reserved for developers  and  experienced
 #  professionals having in-depth computer knowledge. Users are therefore
 #  encouraged to load and test the software's suitability as regards their
 #  requirements in conditions enabling the security of their systems and/or
 #  data to be ensured and,  more generally, to use and operate it in the
 #  same conditions as regards security.
 #
 #  The fact that you are presently reading this means that you have had
 #  knowledge of the CeCILL-C license and that you accept its terms.
 #
*/

#ifndef _STATICASSERT_H
#define _STATICASSERT_H

#include <SmallMatrix/SmallMatrix.h>

NAMESPACE_BEGIN(SmallMatrix)

#define SMALLMATRIX_JOIN( X, Y ) SMALLMATRIX_DO_JOIN( X, Y )
#define SMALLMATRIX_DO_JOIN( X, Y ) SMALLMATRIX_DO_JOIN2(X,Y)
#define SMALLMATRIX_DO_JOIN2( X, Y ) X##Y

// HP aCC cannot deal with missing names for template value parameters
template <bool x> struct STATIC_ASSERTION_FAILURE;
template <class T, class TT, bool x> struct STATIC_ASSERTION_FAILURE_INFO;
template <typename T1,typename T2> struct STATIC_ASSERTION_FAILURE_EQUALITY;

template <> struct STATIC_ASSERTION_FAILURE<true> { enum { value = 1 }; };
template <class T, class TT> struct STATIC_ASSERTION_FAILURE_INFO<T,TT,true> { enum { value = 1 }; };
template <typename T> struct STATIC_ASSERTION_FAILURE_EQUALITY<T,T> { enum { value = 1 }; };

// HP aCC cannot deal with missing names for template value parameters
template<int x> struct static_assert_test{};


#if defined(_MSC_VER) && (_MSC_VER >= 1300)
#define STATIC_ASSERT( B ) \
	typedef ::SmallMatrix::static_assert_test<\
		sizeof(::SmallMatrix::STATIC_ASSERTION_FAILURE< (bool)( B ) >)>\
			SMALLMATRIX_JOIN( static_assert_typedef_ , __COUNTER__ )
#define STATIC_ASSERT_INFO( T , TT , B ) \
	typedef ::SmallMatrix::static_assert_test<\
		sizeof(::SmallMatrix::STATIC_ASSERTION_FAILURE_INFO< T, TT, (bool)( B ) >)>\
			SMALLMATRIX_JOIN( static_assert_info_typedef_ , __COUNTER__ )
#define STATIC_ASSERT_EQUALITY( A , B ) \
	typedef ::SmallMatrix::static_assert_test<\
		sizeof(::SmallMatrix::STATIC_ASSERTION_FAILURE_EQUALITY< A, B >)>\
			SMALLMATRIX_JOIN( static_assert_equality_typedef_ , __COUNTER__ )
#elif defined(__GNUC__) && (__GNUC__ == 3) && ((__GNUC_MINOR__ == 3) || (__GNUC_MINOR__ == 4))
# define STATIC_ASSERT( B ) \
	typedef char SMALLMATRIX_JOIN( static_assert_typedef_ , __LINE__ ) \
		[ ::SmallMatrix::STATIC_ASSERTION_FAILURE< (bool)( B ) >::value ]
# define STATIC_ASSERT_INFO( T , TT , B ) \
	typedef char SMALLMATRIX_JOIN( static_assert_info_typedef_ , __LINE__ ) \
		[ ::SmallMatrix::STATIC_ASSERTION_FAILURE_INFO< T, TT, (bool)( B ) >::value ]
# define STATIC_ASSERT_EQUALITY( A , B ) \
	typedef char SMALLMATRIX_JOIN( static_assert_equality_typedef_ , __LINE__ ) \
		[ ::SmallMatrix::STATIC_ASSERTION_FAILURE_EQUALITY< A , B >::value ]
#else
#define STATIC_ASSERT( B ) \
	typedef ::SmallMatrix::static_assert_test<\
		sizeof(::SmallMatrix::STATIC_ASSERTION_FAILURE< (bool)( B ) >)>\
			SMALLMATRIX_JOIN( static_assert_typedef_ , __LINE__ )
#define STATIC_ASSERT_INFO( T , TT , B ) \
	typedef ::SmallMatrix::static_assert_test<\
		sizeof(::SmallMatrix::STATIC_ASSERTION_FAILURE_INFO< T , TT , (bool)( B ) >)>\
			SMALLMATRIX_JOIN( static_assert_info_typedef_ , __LINE__ )
#define STATIC_ASSERT_EQUALITY( A , B ) \
	typedef ::SmallMatrix::static_assert_test<\
		sizeof(::SmallMatrix::STATIC_ASSERTION_FAILURE_EQUALITY< A , B >)>\
			SMALLMATRIX_JOIN( static_assert_equality_typedef_ , __LINE__ )
#endif

NAMESPACE_END

#endif
